
@inproceedings{freuder1996neighborhood,
  title={Neighborhood inverse consistency preprocessing},
  author={Freuder, Eugene C and Elfe, Charles D},
  booktitle={AAAI/IAAI, Vol. 1},
  pages={202--208},
  year={1996}
}

@incollection{debruyne1997restricted,
  title={From restricted path consistency to max-restricted path consistency},
  author={Debruyne, Romuald and Bessiere, Christian},
  booktitle={Principles and Practice of Constraint Programming-CP97},
  pages={312--326},
  year={1997},
  publisher={Springer}
}

@inproceedings{debruyne2000property,
  title={A property of path inverse consistency leading to an optimal PIC algorithm},
  author={Debruyne, Romuald},
  booktitle={ECAI},
  pages={88--92},
  year={2000}
}

@inproceedings{debruyne1997some,
  title={Some practicable filtering techniques for the constraint satisfaction problem},
  author={Debruyne, Romuald and Bessiere, Christian},
  booktitle={In Proceedings of IJCAI’97},
  year={1997},
  organization={Citeseer}
}

@incollection{debruyne1997restricted,
  title={From restricted path consistency to max-restricted path consistency},
  author={Debruyne, Romuald and Bessiere, Christian},
  booktitle={Principles and Practice of Constraint Programming-CP97},
  pages={312--326},
  year={1997},
  publisher={Springer}
}

@article{debruyne2001domain,
  title={Domain Filtering Consistencies},
  author={Debruyne, Romuald and Bessiere, Christian},
  journal={Journal of Artificial Intelligence Research},
  volume={14},
  pages={205--230},
  year={2001}
}

@article{bessiere2005optimal,
  title={An optimal coarse-grained arc consistency algorithm},
  author={Bessi{\`e}re, Christian and R{\'e}gin, Jean-Charles and Yap, Roland HC and Zhang, Yuanlin},
  journal={Artificial Intelligence},
  volume={165},
  number={2},
  pages={165--185},
  year={2005},
  publisher={Elsevier}
}

@inproceedings{bessiere2005optimal,
  title={Optimal and suboptimal singleton arc consistency algorithms},
  author={Bessiere, Christian and Debruyne, Romuald and others},
  booktitle={INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE},
  volume={19},
  pages={54},
  year={2005},
  organization={LAWRENCE ERLBAUM ASSOCIATES LTD}
}

@book{rossi2006handbook,
  title={Handbook of constraint programming},
  author={Rossi, Francesca and Van Beek, Peter and Walsh, Toby},
  year={2006},
  publisher={Elsevier}
}

@article{bessiere2008domain,
  title={Domain filtering consistencies for non-binary constraints},
  author={Bessiere, Christian and Stergiou, Kostas and Walsh, Toby},
  journal={Artificial Intelligence},
  volume={172},
  number={6},
  pages={800--822},
  year={2008},
  publisher={Elsevier}
}

@article{bessiere2006constraint,
  title={Constraint propagation},
  author={Bessiere, Christian},
  journal={Handbook of constraint programming},
  pages={29--83},
  year={2006}
}

@article{stergiou2006inverse,
  title={Inverse Consistencies for Non-Binary Constraints.},
  author={Stergiou, Kostas and Walsh, Toby},
  journal={FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS},
  volume={141},
  pages={153},
  year={2006},
  publisher={IOS Press}
}

@inproceedings{stergiou2007strong,
  title={Strong inverse consistencies for non-binary CSPs},
  author={Stergiou, Kostas},
  booktitle={Tools with Artificial Intelligence, 2007. ICTAI 2007. 19th IEEE International Conference on},
  volume={1},
  pages={215--222},
  year={2007},
  organization={IEEE}
}

@article{stergiou2008strong,
  title={Strong domain filtering consistencies for non-binary constraint satisfaction problems},
  author={Stergiou, Kostas},
  journal={International Journal on Artificial Intelligence Tools},
  volume={17},
  number={05},
  pages={781--802},
  year={2008},
  publisher={World Scientific}
}

@article{xu2005simple,
  title={A simple model to generate hard satisfiable instances},
  author={Xu, Ke and Boussemart, Frederic and Hemery, Fred and Lecoutre, Christophe},
  journal={arXiv preprint cs/0509032},
  year={2005}
}

@inproceedings{merchez2001abscon,
  title={Abscon: A prototype to solve csps with abstraction},
  author={Merchez, Sylvain and Lecoutre, Christophe and Boussemart, Fr{\'e}d{\'e}ric},
  booktitle={Principles and Practice of Constraint Programming—CP 2001},
  pages={730--744},
  year={2001},
  organization={Springer}
}


@benchmark{problem,
  url = {http://www.cril.univ-artois.fr/~lecoutre/benchmarks.html}
}

@benchmark{problem2,
  url = {http://www.cril.univ-artois.fr/CPAI08/}
}
